Prof. Dr. Antonin Kucera

Aktuelle Kontaktadresse

Land	Tschechische Republik
Ort	Brno
Universität/Institution	Masaryk University
Institut/Abteilung	Institute for Theoretical Computer Science

Fachgebiet	Theoretische Informatik
Keywords	formal methods, game theory in formal verification, probabilistic model-checking, computer science, semantics